| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Advanced Automata Theory | Advanced Automata Theory | Fach-/Modulprüfung | 6 | 387071 | ||
| Advanced Automata Theory | Übung | 383136 | Fr 14:30-16:00 AH I (2350|028) (×11) | |||
| Advanced Automata Theory | Vorlesung | 381356 | Mo 10:30-12:00 AH I (2350|028) (×12) Mi 12:30-14:00 AH II (2350|111) (×12) | |||
| Functional Programming | Funktionale Programmierung | Fach-/Modulprüfung | 6 | 385828 | ||
| Logic Programming | Logikprogrammierung | Fach-/Modulprüfung | 6 | 388556 | ||
| Logikprogrammierung | Übung | 388495 | Mo 12:30-14:00 AH IV (2354|030) (×12) | |||
| Logikprogrammierung | Vorlesung | 388496 | Mo 12:30-14:00 AH IV (2354|030) (×1) Mo 16:30-18:00 AH IV (2354|030) (×13) Do 16:30-18:00 AH I (2350|028) (×12) | |||
| Modeling and analysis of hybrid systems | Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 386654 | ||
| Modellierung und Analyse hybrider Systeme | Vorlesung/Übung | 381348 | Mo 12:30-14:00 AH III (2350|314.1) (×12) Di 16:30-18:00 AH I (2350|028) (×14) |